Driving Savings from Behavior Programs: The Role of Program Theory and Logic Models in Program Design and Evaluation Amy Meyer 2014 BECC Conference, Washington, D.C.

Source URL: beccconference.org

• American Council for an Energy-Efficient Economy
• Evaluation
• Logic
• Knowledge
• Evaluation methods
• Logic model
• Science

BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development

Source URL: www.brics.dk

• Formal methods
• Logic in computer science
• Notation
• Programming language
• Formal verification
• BRIC
• Michael Schwartzbach
• Logic
• Monad
• Computing
• Software engineering
• Science

PA 9915 Methods and Issues in Program and Policy Evaluation

Source URL: localgovernment.uwo.ca

• Thought
• Impact assessment
• Educational psychology
• Program evaluation
• Logic model
• Educational assessment
• Empowerment evaluation
• Evaluation methods
• Evaluation
• Education

(Proc. of 1991 Int’l. Symp. on Parallel Lang. Implementation and Logic Programming) A Technique for Recursive Invariance Detection and Selective Program Specialization F. Giannotti1 CNUCE-CNR

Source URL: clip.dia.fi.upm.es

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez

Source URL: www.diku.dk

RBE 1 WO RK SHEET Business Ethics Program Logic Model

Source URL: ita.doc.gov

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation? Edison Mera1 , Pedro L´opez-Garc´ıa1 , Germ´an Puebla1 , Manuel Carro1 , and Manuel Hermenegildo1,2 1 Technical University of

Source URL: clip.dia.fi.upm.es

LPAR-17 Program Revision of OctMonday, October – – 9.50

Source URL: www.computational-logic.org

COMPUTER SCIENCE TRIPOS Part II – 2013 – Paper 7 7 Hoare Logic (MOM) (a) Briefly explain the concepts: mechanised program verification and verification conditions (VCs).

Source URL: www.cl.cam.ac.uk

2007 Paper 5 Question 9 Logic and Proof (a) You have to write a program that accepts a propositional formula φ and returns an interpretation that falsifies φ. Describe the algorithm you would employ in each of the fol

Source URL: www.cl.cam.ac.uk